Binary logic - PDFSEARCH.IO - Document Search Engine

Binary logic
Results: 377

#	Item
11	Context-Sensitive Program Analysis as Database Queries Monica S. Lam John Whaley V. Benjamin Livshits Michael C. Martin Dzintars Avots Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2005-03-29 03:01:53 Computing Software engineering Data management Database management systems Query languages Datalog Binary decision diagram Monica S. Lam Deductive database Relational algebra Logic programming Database
12	Algorithms for MDC-Based Multi-locus Phylogeny Inference Yun Yu1 , Tandy Warnow2 , and Luay Nakhleh1 1 Dept. of Computer Science, Rice University, 6100 Main Street, Houston, TX 77005, USA Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2011-03-30 11:33:45 Binary trees Phylogenetics Knowledge representation Mathematical logic Data types Phylogenetic tree Tree T-tree Computing
13	Design of a Power Optimal Reversible FIR Filter ASIC Speech Signal Processing Yelle Harika M.Tech, Joginpally B.R.Engineering College. Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2016-08-16 07:16:56 Computer arithmetic Theoretical computer science Arithmetic Digital circuits Electronic engineering Logic gates Adder Binary logic Models of computation Dadda multiplier Carry-select adder Carry-lookahead adder
14	On the Modal Understanding of Triadic Contexts Frithjof Dau and Rudolf Wille Technische Universitat Darmstadt, Fachbereich Mathematik Schlogartenstr. 7, D{64289 Darmstadt, fdau, Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-10-31 23:07:37 Logic Mathematics Philosophy Lattice theory Data mining Formal concept analysis Machine learning Ontology Algebraic logic Boolean algebra Binary relation Modal logic
15	Appendix A Sets, Relations and Functions Summary This chapter explains the basics of formal set notation, and gives an introduction to relations and functions. The chapter ends with a short account of the principle of pr Add to Reading List Source URL: www.cs.otago.ac.nz Language: English - Date: 2011-05-20 05:24:57 Mathematics Mathematical analysis Mathematical logic Order theory Binary relation Set theory Equivalence relation Asymmetric relation Transitive relation Equality Function Reflexive relation
16	Computational ontologies of parthood, componenthood, and containment Thomas Bittner and Maureen Donnelly IFOMIS, Saarland University Abstract Parthood, componenthood, and containment relations are commonly assumed in bio Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2005-03-16 11:22:26 Mathematics Algebra Logic Predicate logic Mathematical logic Ontology Topology Algebraic structures Mereology Metric Ring Binary relation
17	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2014-12-11 09:13:51 Electronic engineering Computer arithmetic Reconfigurable computing Electronics Computing Adder Binary logic Carry-skip adder Carry-lookahead adder Digital electronics Virtex Xilinx
18	Worksheet on Relations and Equivalence Relations and Classes November 6, 2015 1 Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-12-04 19:21:56 Mathematics Equivalence relation Equivalence class Binary relation Transitive relation Mathematical logic Integer Cardinality Ternary equivalence relation Apartness relation
19	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2015-02-23 02:50:06 Computer arithmetic Machine code Digital circuits Adder Binary logic Digital electronics Wallace tree Reconfigurable computing Operand Field-programmable gate array NOP Carry-skip adder
20	Moss Designs Collection \| Specifications Sheet Custom Circulation Desk Options #Left End Panel #Right End Panel #Joiner Panel Add to Reading List Source URL: www.buckstaff.com Language: English - Date: 2013-02-13 01:20:04 Computer arithmetic Adder Binary logic Addition